Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
Computing (FOLDOC) dictionary
System F
Jump to user comments
A
type system
by J-Y. Girard. Also known as Lambda-2 or the
polymorphic lambda-calculus
.
["Proofs and Types", J-Y. Girard, Cambridge U Press 1989].
(1994-11-23)
Related search result for
"System F"
Words pronounced/spelled similarly to
"System F"
:
System V
System F
Words contain
"System F"
:
An Evolutionary System for On-line Programming
Global System for Mobile Communications
System F
Words contain
"System F"
in its definition in
Computing (FOLDOC) dictionary:
Operating System/360
file system
system management
Tape Operating System
system software
cutover
real operating system
OS
IFS
BOS
more...
Comments and discussion on the word
"System F"
